nLab super-Cartan geometry

Contents

Context

Super-Geometry

Gravity

Contents

Idea

While Cartan geometry was originally conceived of in the context of differential geometry, its principles and constructions make sense much more generally. In particular they make sense in the context of supergeometry. The implementation of Cartan geometry in supergeometry may well be called super-Cartan geometry or Cartan super-geometry. Where the original and motivating example for plain Cartan geometry was the formulation of Einstein gravity (via pseudo-Riemannian geometry), so super-Cartan geometry underlies and finds motivation from the formulation of supergravity, see also the Survey of (non-)existing literature below.

While the abstract general theory of super-Cartan geometry proceeds in direct analogy with that of traditional Cartan geometry, the concrete particular examples tend to exhibit a richer behaviour. Specifically for the case relevant to supergravity this is due to two facts:

  1. The super Euclidean spaces and super-Minkowski spacetimes, have, as super-translation groups, non-abelian supergroup structure, which is reflected in the fact that the left-invariant 1-forms (super differential forms) on these spaces are not closed. This means that they carry natural intrinsic torsion of a G-structure. Due to this fact the super-Cartan geometry involved in supergravity is richer than its bosonic counterpart in a way that goes beyond the addition of “superpartners”. For more on this see also at torsion constraints of supergravity.

  2. In particular super-Minkowski spacetimes carry non-trivial exceptional super Lie algebra cocycles. Their globalization as definite forms is hence analogous to what is known in the bosonic case for instance for G₂-structure. These globalizations play a key role in the discussion of super p-brane sigma-models on curved supergravity backgrounds. Moreover, these cocycles classify super L-infinity algebra extensions of super Minkowski spacetime known as extended super Minkowski spacetimes. This is the origin of much of higher Cartan geometry within super-Cartan geometry.

Survey of (non-)existing literature

While the specific terminology “super-Cartan geometry” is traditionally not used much (but see Baaklini 1977a, 1977b; Egeileh & Chami 2013), nevertheless the key ingredients of super-Cartan geometry are well known in the literature, and all the more is it useful to make them explicit as what they are.

Physics literature usually refers to the “superspace formulation” of supergravity when referring to the formulation of the theory in supergeometry and uses terms such as “Einstein-Cartan theory” to refer to the first order formulation of gravity (e.g. Nieuwenhuizen 81). But all of the literature on supergravity formulated this way in “superspace” is implicitly about super-Cartan geometry for the inclusion of a spin group-double cover of the Lorentz group inside a super Poincaré group, in direct analogy to how ordinary Einstein gravity (pseudo-Riemannian geometry) is the Cartan geometry of the inclusion of a Lorentz group inside a plain Poincaré group – this in fact being Cartan’s original and motivating example for the whole theory. Where physicists speak of “locally gauging supersymmetry” the mathematical formulation of that is precisely this: the “supersymmetrysupergroup is the super Poincaré group acting on super Minkowski spacetime, and “locally gauging” it means exactly to consider spacetimes that are locally (tangent space-wise) modeled on super Minkowski space, while globally varying according to a Lorentz group-G-structure, hence the super-analog of a pseudo-Riemannian metric. The main point to be aware of is that physics literature in general tends to by default outright ignore all global issues (such as nontrivial principal bundles) and instead discuss these only when absolutely necessary as extra phenomena going by names such as instantons and anomalies.

With this understood, one physics references which explores the super-Cartan-geometric picture of supergravity in much detail is (D’Auria-Fre 82, Castellani-D’Auria-Fre 91). (In part I These authors speak of ‘Poincaré gravity’. In part II they make even the higher Cartan geometry hidden here fairly explicit, see there and see at D'Auria-Fré formulation of supergravity). Similarly, discussion of super-Klein geometry in the context of supergravity is, even if not exactly in this terminology, rather explicit in (Figueroa-O’Farrill 08).

An early reference that identifies this first order formulation of gravity explicitly as a Cartan connection is (Baaklini 77a, Baaklini 77b), which however seems to have gone unnoticed. (The only non-self citation to this article is in the list of references of the survey (Nieuwenhuizen 81) which however does not actually refer the article in its text.) A much later reference that very clearly identifies the role of the mathematics of supergeometric G-structures (which is the relevant special class of super-Cartan geometry) in supergravity in the context of supergravity torsion constraints is (Lott 01). The followup (Egeileh-Chami 13) to that article again makes the terminology “Cartan geometry” fully explicit in this supergeometric context. This last article also observes that from this perspective the traditional concept of Killing spinor – which involves an extra “weakening” parameter in addition to the plain concept of a covariantly constant spinor – is naturally understood as being in fact a covariantly constant spinor, but for a different model super-Klein geometry G/HG/H.

This provides ample example and application of super-Cartan geometry for the case where G/HG/H is a super vector space, hence for the case corresponding to G-structure. More general super-Cartan geometry apparently remains to be explored.

Introduction

It is traditional to introduce supergeometry as being about supermanifolds and to introduce the concept of supermanifolds in the form of locally ringed topological spaces. There is however a more direct, possibly more illuminating, and certainly more powerful way, following instead the spirit of the discussion at geometry of physics – smooth sets.

Below in

we consider the full topos of supergeometry and find how its structure reflects the special qualities of supergeometry.

Then in

we discuss how to formulate manifolds and their Cartan geometry generally in such a context. Finally in

we put this together and discuss supermanifolds equipped with super Cartan geometry.

1) The geometric substance

  1. Coordinate systems: super Cartesian spaces

  2. The geometric determinations

  3. Principal bundles and Higher geometry

Coordinate systems: super Cartesian spaces

Recall the following from the discussion at geometry of physics – smooth sets. We will set up supergeometry in direct analogy to this formulation of plain differential geometry. See also at geometry of physics – manifolds and orbifolds and geometry of physics – supergeometry.

Definition

Write CartSp for the category of Cartesian space n\mathbb{R}^n for nn \in\mathbb{N} with smooth functions between them. Say that a collection of morphisms {U iX}\{U_i \to X\} in CartSpCartSp is covering if this is a good open cover in that every finite non-empty intersection of the charts is diffeomorphic to a Cartesian space.

Remark

We may think of this as the category of abstract coordinate systems on which differential geometry is to be modeled, see at geometry of physics – coordinate systems.

Definition

We say a smooth set or smooth 0-type is a sheaf on CartSpCartSp, write

Smooth0TypeSh(CartSp) Smooth0Type \coloneqq Sh(CartSp)

for the sheaf topos of all these.

Remark

The useful way to think of def. in the present context is as defining a kind of generalized smooth space which is defined by which smooth functions from Cartesian spaces it receives (see also at motivation for sheaves, cohomology and higher stacks for more exposition of this point).

Under the Yoneda embedding

CartSpSmooth0Type CartSp \hookrightarrow Smooth0Type

every Cartesian space XX is naturally regarded as a smooth space itself, namely the one it represents by the assignment

X: nC ( n,X). X \colon \mathbb{R}^n \mapsto C^\infty(\mathbb{R}^n ,X) \,.

Hence the set that the Cartesian space XX, regarded as a sheaf, assigns to a coordinate system n\mathbb{R}^n is just the set of all ways of mapping that coordinate system smoothly into XX.

Hence given any XSmooth0TypeX \in Smooth0Type, we are entitled to think of it as a generalized smooth space which need not be given as a set equipped with smooth structure, but whose nature instead we detect or probe by mapping Cartesian spaces into it: given n\mathbb{R}^n then we think of the set X( n)X(\mathbb{R}^n), which the sheaf XX assigns, as playing the role of the set of all smooth functions “ nX\mathbb{R}^n \longrightarrow X” into the would-be space XX.

The Yoneda lemma gives that this is not circular, but consistent: once we identify Cartesian spaces themselves as smooth spaces via the Yoneda embedding, then the previous statement becomes literally true and we may remove the quotation marks:

X( n){morphismsofsmoothspaces nX}. X(\mathbb{R}^n) \simeq \left\{ morphisms\;of\;smooth\;spaces\; \mathbb{R}^n \to X \right\} \,.
Remark

The strategy is then to work with this nice category (a topos) of smooth spaces, and find in their subcategories of more specific objects having extra properties which one may need in given applications:

{\{coordinate systems}\} \hookrightarrow {\{smooth manifolds}\} \hookrightarrow {\{Hilbert manifolds}\} \hookrightarrow {\{Banach manifolds}\} \hookrightarrow {\{Fréchet manifolds}\} \hookrightarrow {\{diffeological spaces}\} \hookrightarrow {\{smooth spaces}\} \hookrightarrow {\{smooth orbifolds}\} \hookrightarrow {\{smooth groupoids}\} \hookrightarrow {\{smooth 2-groupoids}\} \hookrightarrow \cdots \hookrightarrow {\{smooth ∞-groupoids}\}

The identification of (super-)smooth manifolds inside all (super-)smooth spaces we consider below.

In view of the above, it is immediate that in order to generalize differential geometry, we should focus on generalizing the category of coordinate systems. To that end recall a basic fact about smooth functions:

Proposition

The functor

C ():CartSpCAlg op C^\infty(-) \colon CartSp \longrightarrow CAlg_{\mathbb{R}}^{op}

which sends a Cartesian space to (the formal dual of) its \mathbb{R}-algebra of smooth functions is a full and faithful functor.

In other words, for two Cartesian spaces X,YX,Y there is a natural bijection between the smooth functions XYX \to Y and the algebra homomorphisms C (X)C (Y)C^\infty(X)\leftarrow C^\infty(Y).

See at embedding of smooth manifolds into formal duals of R-algebras for more on this.

Remark

One has to be careful that prop. might seem to imply more than it does. In order that all constructions on all commutative algebras have the desired dual effect on formally dual smooth spaces (e.g. construction of products/coproducts, or construction of Kähler differentials) one needs to refine plain commutative algebras over \mathbb{R} to smooth algebras. See there for more on this point, which however for our purposes here is not of further concern.

Now to pass to superalgebra:

Remark

It is an observation from experiment (from the Stern-Gerlach experiment via the spin-statistics theorem), that spaces of physical fields for physical theories that contain fermions behave as if they have algebras of functions which are not quite commutative algebras, but where the functions depending on the fermions only commute with each other up to picking up a minus sign.

Definition

A super-commutative superalgebra (or just commutative superalgebra for short) is a /2\mathbb{Z}/2\mathbb{Z}-graded associative algebra A=A evenA oddA = A_{even} \oplus A_{odd} such that for a,ba,b any two elements in homogeneous degree deg(a),deg(b)/2deg(a), deg(b)\in \mathbb{Z}/2\mathbb{Z}, then their product is related by (Grassmann 1844, §37, §55)

ab=(1) deg(a)deg(b)ba. a \cdot b = (-1)^{deg(a) deg(b)} b \cdot a \,.

Write SuperCAlg SuperCAlg_{\mathbb{R}} for the category of commutative superalgebras over \mathbb{R}.

Definition

For qq\in \mathbb{N}, the real Grassmann algebra

C ( 0|q) θ 1,,θ q C^\infty(\mathbb{R}^{0|q}) \coloneqq \wedge^\bullet \langle \theta^1, \cdots, \theta^q\rangle

is the \mathbb{R}-algebra freely generated from qq generators {θ i} i=1 q\{\theta^i\}_{i = 1}^q subject to the relation

θ iθ j=θ jθ i. \theta^i \theta^j = - \theta^j \theta^i \,.

For p,qp,q \in \mathbb{N}, the super-Cartesian space p|q\mathbb{R}^{p|q} is the formal dual of the commutative superalgebra written C ( p|q)C^\infty(\mathbb{R}^{p|q}) whose underlying /2\mathbb{Z}/2\mathbb{Z}-graded vector space is

C ( p|q)C ( p) θ 1,,θ q C^\infty(\mathbb{R}^{p|q}) \coloneqq C^\infty(\mathbb{R}^p) \otimes_{\mathbb{R}} \wedge^\bullet\langle\theta^1, \cdots, \theta^q\rangle

with the product given by the relations

(fθ i 1θ i k)(gθ j 1θ j l) =fgθ i 1θ i kθ j 1θ j l =(1) klgfθ j 1θ j lθ i 1θ i k \begin{aligned} \left( f \theta^{i_1}\cdots \theta^{i_k} \right) \left( g \theta^{j_1}\cdots \theta^{j_l} \right) & = f \cdot g \; \theta^{i_1}\cdots \theta^{i_k} \theta^{j_1}\cdots \theta^{j_l} \\ & = (-1)^{k l} g\cdot f \; \theta^{j_1}\cdots \theta^{j_l} \theta^{i_1}\cdots \theta^{i_k} \end{aligned}

where fgf \cdot g is the ordinary pointwise product of smooth functions.

Write

SuperCartSpSuperCAlg op SuperCartSp \hookrightarrow SuperCAlg_{\mathbb{R}}^{op}

for the full subcategory of the opposite category of commutative superalgebras on those of this form. We write p|qSuperCartSp\mathbb{R}^{p|q} \in SuperCartSp for the formal dual of C ( p|q)C^\infty(\mathbb{R}^{p|q}).

Definition

Say that a collection of morphisms {U iX}\{U_i \to X\} in SuperCartSpSuperCartSp is covering if all U iU_i and the XX are p|q\mathbb{R}^{p|q} (for the same pp and qq), the morphisms are the identity on the odd generators {θ i}\{\theta_i\}, and the underlying map of Cartesian spaces is a good open cover in the sense of def. . Write

SuperSmooth0TypeSh(SuperCartSp) SuperSmooth0Type \coloneqq Sh(SuperCartSp)

for the sheaf topos over that site. We call this the collection of smooth super spaces.

This is the topos that hosts traditional supergeometry. However for our purposes it is useful to refine this a little more to a context for synthetic differential supergeometry. To that end first observe that

Remark

The even-degree part C ( p|q) evenC^\infty(\mathbb{R}^{p|q})_{even} is an ordinary commutative algebra, but if q1q \geq 1 then it is not the algebra of functions on any smooth manifold, because it has a non-trivial nilpotent ideal. Instead, a nilpotent element of an algebra of functions may be thought of as a function depending on an infinitesimal direction.

For instance C ( 0|2) evenC^\infty(\mathbb{R}^{0|2})_{even} is isomorphic to what is known as the algebra of dual numbers (ϵ)/(ϵ 2)(\mathbb{R}\oplus \epsilon \mathbb{R})/(\epsilon^2) with ϵ=θ 1θ 2\epsilon = \theta^1 \theta^2.

This is traditionally more familiar from the theory of formal schemes, but the same kind of general abstract theory goes through in the context of differential geometry, a point of view known as synthetic differential geometry.

But this means that in passing to commutative superalgebras there are two stages of generalizations of plain differential geometry involved:

  1. smooth manifolds are generalized to formal smooth manifolds;

  2. formal smooth manifolds are further generalized to formal smooth supermanifolds.

It will be useful to make this explicit.

Definition

Write

InfPointCAlg op InfPoint \hookrightarrow CAlg_{\mathbb{R}}^{op}

for the full subcategory of the opposite category of commutative algebras over \mathbb{R} on formal duals of commutative algebras over the real numbers of the form V\mathbb{R}\oplus V with VV a finite-dimensional nilpotent ideal. We call this the category of infinitesimally thickened points.

Write moreover

CartSpInfPointCAlg op CartSp \rtimes InfPoint \hookrightarrow CAlg_{\mathbb{R}}^{op}

for the full subcategory on formal duals of those algebras which are tensor products of commutative \mathbb{R}-algebras of the form

C ( n)C (D) C^\infty(\mathbb{R}^n) \otimes C^\infty(D)

of algebras C ( p)C^\infty(\mathbb{R}^p) of smooth functions n\mathbb{R}^n as in def. with algebras corresponding to infinitesimally thickened points DD as above.

The sheaf topos

FormalSmooth0TypeSh(CartSpInfPoint) FormalSmooth0Type \coloneqq Sh(CartSp \rtimes InfPoint)

is traditionally known as the Cahiers topos.

Example

Write 𝔻\mathbb{D} for the formal dual of the algebra of dual numbers. Then morphisms

n×𝔻 n \mathbb{R}^n \times \mathbb{D}\longrightarrow \mathbb{R}^n

which are the identity after restriction along n n×𝔻\mathbb{R}^n \to \mathbb{R}^n \times \mathbb{D}, are equivalently algebra homomorphisms of the form

(C ( n)ϵC ( n))C ( n) (C^\infty(\mathbb{R}^n) \oplus \epsilon C^\infty(\mathbb{R}^n)) \longleftarrow C^\infty(\mathbb{R}^n)

which are the identity modulo ϵ\epsilon. Such a morphism has to take any function fC ( n)f \in C^\infty(\mathbb{R}^n) to

f+(f)ϵ f + (\partial f) \epsilon

for some smooth function (f)C ( n)(\partial f) \in C^\infty(\mathbb{R}^n). The condition that this assignment makes an algebra homomorphism is equivalent to the statement that for all f 1,f 2C ( n)f_1,f_2 \in C^\infty(\mathbb{R}^n)

(f 1f 2+((f 1f 2))ϵ)=(f 1+(f 1)ϵ)(f 2+(f 2)ϵ). (f_1 f_2 + (\partial (f_1 f_2))\epsilon ) = (f_1 + (\partial f_1) \epsilon) (f_2 + (\partial f_2) \epsilon) \,.

Multiplying this out and using that ϵ 2=0\epsilon^2 = 0 this in turn is equivalent to

(f 1f 2)=(f 1)f 2+f 1(f 2). \partial(f_1 f_2) = (\partial f_1) f_2 + f_1 (\partial f_2) \,.

This in turn means equivalently that :C ( n)C ( n)\partial\colon C^\infty(\mathbb{R}^n)\to C^\infty(\mathbb{R}^n) is a derivation. But derivations of algebras of smooth functions are equivalent to vector fields. (See at derivations of smooth functions are vector fields).

In particular one finds that maps

𝔻 n \mathbb{D} \longrightarrow \mathbb{R}^n

are equivalently single tangent vectors.

Definition

Write

SuperInfPointSuperCAlg op SuperInfPoint \hookrightarrow SuperCAlg_{\mathbb{R}}^{op}

for the full subcategory on those formal duals of commutative superalgebras over the real numbers on those of the form V\mathbb{R}\oplus V with VV a finite dimensional nilpotent ideal.

We call this the category of infinitesimally thickened superpoints.

Similarly write

CartSpSuperInfPointSuperCAlg op CartSp \rtimes SuperInfPoint \hookrightarrow SuperCAlg_{\mathbb{R}}^{op}

for the full subcategory on formal duals of tensor products of an algebra C ( n)C^\infty(\mathbb{R}^n) of smooth functions and an algebra C (D)C^\infty(D) on an infinitesimally thickened superpoint.

The sheaf topos

SuperSmooth0TypeSh(CartSpSuperInfPoint) SuperSmooth0Type \coloneqq Sh(CartSp \rtimes SuperInfPoint)

we call that of super formal smooth spaces.

The geometric determinations

The sites considered above are related by a sequence of reflections and coreflections as follows

Definition

Write

*CartSpCartSpInfPointCartSpSuperInfPoint \ast \hookrightarrow CartSp \hookrightarrow CartSp\rtimes InfPoint \hookrightarrow CartSp \rtimes SuperInfPoint

for the evident full inclusions:

  1. the first one picks the terminal object 0\mathbb{R}^0;

  2. the second one regards n\mathbb{R}^n as a formal manifold equipped with no infinitesimal thickening;

  3. the third one regards n×D\mathbb{R}^n \times D as a supergeometric space with no odd-graded (no fermionic) component.

Remark

The sites in question are alternatingly (co-)reflective subcategories of each other (we always display left adjoints above their right adjoints)

*CartSpCartSpInfPointCartSpSuperPoint. \ast \stackrel{\longleftarrow}{\hookrightarrow} CartSp \stackrel{\hookrightarrow}{\longleftarrow} CartSp\rtimes InfPoint \stackrel{\longleftarrow}{\stackrel{\hookrightarrow}{\longleftarrow}} CartSp \rtimes SuperPoint \,.

Here

Proposition

Passing to (∞,1)-categories of (∞,1)-sheaves, this yields, via (∞,1)-Kan extension, a sequence of adjoint quadruples as follows:

Δ: Grpd SmoothGrpd FormalSmoothGrpd SuperFormalSmoothGrpd \array{ & && && &\longleftarrow& \\ & && &\hookrightarrow& &\hookrightarrow& \\ & &\longleftarrow& &\longleftarrow& &\longleftarrow& \\ \Delta \colon & \infty Grpd &\hookrightarrow& Smooth \infty Grpd &\hookrightarrow& FormalSmooth \infty Grpd &\hookrightarrow& SuperFormalSmooth \infty Grpd \\ & &\longleftarrow& &\longleftarrow& \\ & &\hookrightarrow& }

Passing to the adjoint triples of idempotent monads and idempotent comonads which this induces, then yields

Hence we get a progression of adjoint modalities of the form

id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale contractible ʃ discrete discrete differential * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& Rh & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{contractible}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{differential}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

where “\vee” denotes inclusion of modal types. The first level is cohesion, the second is differential cohesion (elasticity), the third is a further refinement given by supergeometry, which takes further “square roots” of all infinitesimal generators.

Proof

All the sites are ∞-cohesive sites, which gives that we have an cohesive (infinity,1)-topos. The composite inclusion on the right is an ∞-cohesive neighbourhood site, whence the inclusion SmoothGpdSuperFormalSmoothGrpdSmooth\infty Gpd\hookrightarrow SuperFormalSmooth\infty Grpd exhibits differential cohesion.

With this the rightmost adjoint quadruple gives the Aufhebung of \Re \dashv \Im by R\rightsquigarrow \dashv \R and the further opposition \rightrightarrows \dashv \rightsquigarrow.

For convenience, from now on we notationally abbreviate:

HSuperFormalSmooth0Type. \mathbf{H} \coloneqq SuperFormalSmooth0Type \,.
Remark

Any reflective subcategory

𝒞iLH \mathcal{C} \stackrel{\overset{L}{\longleftarrow}}{\underset{i}{\hookrightarrow}} \mathbf{H}

induces an idempotent monad on H\mathbf{H}, i.e. an endofunctor

iL:HH \bigcirc \;\coloneqq\; i \circ L \;\colon\; \mathbf{H} \longrightarrow \mathbf{H}

equipped with a natural transformation

ϵ X:XX \epsilon_X \;\colon\; X \longrightarrow \bigcirc X

such that applying \bigcirc again to that transformation it becomes an isomorphism.

Dually, any coreflective subcategory

𝒞RiH \mathcal{C} \stackrel{\overset{i}{\hookrightarrow}}{\underset{R}{\longleftarrow}} \mathbf{H}

induces an idempotent comonad

iR:HH. \Box \;\coloneqq\; i \circ R \;\colon\; \mathbf{H} \longrightarrow \mathbf{H} \,.

If moreover these two cases combine to an adjoint triple of the form

𝒞H \mathcal{C} \stackrel{\hookrightarrow}{\stackrel{\longleftarrow}{\hookrightarrow}} \mathbf{H}

or of the form

𝒞H \mathcal{C} \stackrel{\longleftarrow}{\stackrel{\hookrightarrow}{\longleftarrow}} \mathbf{H}

then these (co-)monads themselves are adjoint to each other as

\Box \dashv \bigcirc

or as

, \bigcirc \dashv \Box \,,

respectively, forming an “adjoint cylinder”.

Notice the following:

Proposition

The total composite labeled Δ\Delta in prop. is indeed the locally constant sheaf-functor for SuperFormalSmooth0TypeSuperFormalSmooth0Type.

Proof

Let XX be any object in image of this total functor, and let U×D sCartSpSupeInfPointU \times D_s \in CartSp \rtimes SupeInfPoint. Then by adjunction SuperFormalSmooth0Type(U×D s,X)SuperFormalSmooth0Type(U\times D_s, X) is equivalently homs in FormalSmooth0TypeFormalSmooth0Type out of the dual of the Weil algebra which is the quotient of the original one by the ideal generated by its odd part. Hence this, in turn, is equivalently homs in Smooth0TypeSmooth0Type out of UU and that finally is equivalently homs in SetSet out of *\ast into the given set.

Corollary

Passing, via remark , from the sequence of adjoint quadruples in prop. , yields the following system of adjoint triples of idempotent monads and idempotent comonads:

id id fermionic bosonic bosonic R rheonomic reduced infinitesimal infinitesimal & étale contractible ʃ discrete discrete differential * \array{ && id &\dashv& id \\ && \vee && \vee \\ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \\ && \bot && \bot \\ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& \R & \stackrel{rheonomic}{} \\ && \vee && \vee \\ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \\ && \bot && \bot \\ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \\ && \vee && \vee \\ &\stackrel{contractible}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \\ && \bot && \bot \\ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{differential}{} \\ && \vee && \vee \\ && \emptyset &\dashv& \ast }

where \vee denotes inclusion of modal types.

We pronounce the operations in corollary as follows.

Example
  • For XSmoothMfdSmooth0TypeFormalSmooth0TypeSuperFormalSmooth0TypeX \in SmoothMfd \hookrightarrow Smooth0Type \hookrightarrow FormalSmooth0Type \hookrightarrow SuperFormalSmooth0Type any ordinary smooth manifold, this is a bosonic modal type XX\stackrel{\rightsquigarrow}{X} \simeq X.

  • The odd line 0|1\mathbb{R}^{0|1} is purely fermionic in that it is an e\e-comodal type: 0|1*\stackrel{\rightrightarrows}{\mathbb{R}^{0|1}}\simeq \ast.

  • All super Cartesian spaces p|q\mathbb{R}^{p|q} have contractible shape in that p|q*\int \mathbb{R}^{p|q} \simeq \ast.

By applying universal constructions to the units/counits of these modalities, we obtain various further operations that will be useful

Definition

Given XHX \in \mathbf{H}, its infinitesimal disk bundle T infXXT_{inf} X\to X is the pullback of the unit of the infinitesimal shape modality along itself

T infX X X X. \array{ T_{inf} X &\stackrel{}{\longrightarrow}& X \\ \downarrow && \downarrow \\ X &\longrightarrow& \Im X } \,.

Given a point x:*Xx \;\colon\; \ast \to X, then the infinitesimal neighbourhood *𝔻 xX\ast \to \mathbb{D}_x \to X of that point is the further pullback of the infinitesimal disk bundle to this point:

𝔻 x T infX X * x X X. \array{ \mathbb{D}_x &\longrightarrow & T_{inf} X &\stackrel{}{\longrightarrow}& X \\ \downarrow && \downarrow && \downarrow \\ \ast &\stackrel{x}{\longrightarrow} & X &\longrightarrow& \Im X } \,.
Remark

This is the input for the formulation of frame bundles below around prop. .

It is natural not to pick any point, but to collect all infinitesimal disks around all the points of a space:

Definition

The relative shape modality is the operation rel\flat^{rel} that sends XHX \in \mathbf{H} to the homotopy pullback

rel X X X. \array{ \flat^{rel} &\longrightarrow& X \\ \downarrow && \downarrow \\ \flat X &\longrightarrow& \Im X } \,.

There are some further relations between the modalities to take note of:

Proposition

We have the following Aufhebung-relations:

Proof

For any XHX \in \mathbf{H} and any U×D sCartSpSuperInfPointHU \times D_s\in CartSp \rtimes SuperInfPoint \hookrightarrow \mathbf{H} we have by adjunction natural equivalences

H(U×D s,X) H(U×D s,X) H((U×D s),X) H(U,X) H((U×D s),X) H(U×D s,X). \begin{aligned} \mathbf{H}(U \times D_s , \stackrel{\rightsquigarrow}{\Im X}) & \simeq \mathbf{H}(\stackrel{\rightrightarrows}{U \times D_s} , \Im X) \\ &\simeq \mathbf{H}(\Re(\stackrel{\rightrightarrows}{U \times D_s}) , X) \\ & \simeq \mathbf{H}(U, X) \\ & \simeq \mathbf{H}(\Re(U \times D_s), X) \\ & \simeq \mathbf{H}(U \times D_s, \Im X) \end{aligned} \,.

Principal bundles and Higher geometry

The point of the system of modalities in corollary is that they allow to carry various geometric theory across different models of geometry. If we formulate traditional Cartan geometry in FormalSmooth0TypeFormalSmooth0Type with just these operations, then we may just carry that verbatim to SuperFormalSmooth0TypeSuperFormalSmooth0Type to get a theory of super-Cartan geometry. This we get to below.

In the same vein, we may increase the nn in SuperFormalSmoothnTypeSuperFormalSmooth n Type to n>0n \gt 0 and get higher Cartan geometry.

In fact at least n1 n \geq 1 is necessary in order to formalize frame bundles via their modulating morphisms to the delooping BGL(V)\mathbf{B}GL(V). The case n=1n = 1 is obtained by replacing in the above sheaves of sets with stacks of groupoids. The case n=n = \infty is obtained by further refining this to infinity-stacks of infinity-groupoids.

Here we just recall some bare minimum of this higher differential geometry, for formulating Cartan geometry we need to speak of frame bundles and hence here we mainly need the concept of principal infinity-bundle, for more see at geometry of physics – principal bundles.

Proposition

The (infinity,1)-category theory analog of prop. still holds, and produces via the direct analog corollary a system of modal operators on H=\mathbf{H} = SuperFormalSmooth?Type.

Proposition

For GG a group object (∞-group), the GG-principal bundles PXP \to X on any XX are equivalent to morphisms XBGX \longrightarrow \mathbf{B}G into the delooping object of GG, the equivalence being established by sending such a morphism to its homotopy fiber

P * X BG. \array{ P &\longrightarrow & \ast \\ \downarrow && \downarrow \\ X &\longrightarrow& \mathbf{B}G } \,.

2) General Cartan geometry

Given a topos of differential cohesion H\mathbf{H} as in corollary above (hence an elastic substance), then on general abstract grounds there is – and that’s the point of this axiomatic formulation – a good concept and theory of V-manifolds and G-structures on these. Applied to the case of supergeometry as established in prop. this hence yields a theory of GG-structures on V-manifold in supergeometry, and hence of Cartan geometry modeled on the inclusion GGVG \to G \rtimes V. Here we recall the elements of abstract general Cartan geometry formulated axiomatically this way. Below in Super Cartan geometry we then specify to the concrete particular super Cartan geometry.

  1. V-Manifolds

  2. Frame bundles

  3. G-Structure

VV-Manifolds

See also at geometry of physics – manifolds and orbifolds.

Definition

Given X,YHX,Y\in \mathbf{H} then a morphism f:XYf \;\colon\; X\longrightarrow Y is a local diffeomorphism if its naturality square of the infinitesimal shape modality

X X f f Y Y \array{ X &\longrightarrow& \Im X \\ \downarrow^{\mathrlap{f}} && \downarrow^{\mathrlap{\Im f}} \\ Y &\longrightarrow& \Im Y }

is a pullback square.

Remark

The abstract definition comes down to being the appropriate synthetic differential supergeometry-version of the traditional statement that ff is a local diffeomorphism if the diagram of tangent bundles

TX X Tf f TY Y \array{ T X &\longrightarrow& X \\ \downarrow^{\mathrlap{T f}} && \downarrow^{\mathrlap{f}} \\ T Y &\longrightarrow& Y }

To see this, notice by the discussion at synthetic differential geometry that for DD an infinitesimally thickened point, then for any XHX \in \mathbf{H} the mapping space [D,X][D,X] is the jet bundle of XX with jets of order as encoded by the infinitesimal order of DD. In particular if 𝔻 1(1)\mathbb{D}^1(1) is the first order infinitesimal interval defined by the fact that its algebra of functions is the algebra of dual numbers C (𝔻 1(1))=(ϵ)/(ϵ 2)C^\infty(\mathbb{D}^1(1)) = (\mathbb{R} \oplus \epsilon \mathbb{R})/(\epsilon^2), and XX is a smooth manifold, then

[𝔻 1(1),X]TX [\mathbb{D}^1(1), X]\simeq T X

is the ordinary tangent bundle of XX. Now use that the internal hom [D,][D,-] preserves limits in its second argument, and that, by the hom-adjunction, H(U,[D,X])H(U×D,X)\mathbf{H}(U, [D,X]) \simeq \mathbf{H}(U \times D, X) and finally use that H(U×D,X)H((U×D),X)H(U,X)\mathbf{H}(U \times D, \Im X)\simeq \mathbf{H}(\Re(U \times D), X)\simeq \mathbf{H}(U,X).

Let now VHV \in \mathbf{H} be given, equipped with the structure of a group (infinity-group).

Definition

A V-manifold is an XHX \in \mathbf{H} such that there exists a VV-atlas, namely a correspondence of the form

U et et V X \array{ && U \\ & {}^{\mathllap{et}}\swarrow && \searrow^{\mathrlap{et}} \\ V && && X }

with both morphisms being local diffeomorphisms, def. , and the right one in addition being an epimorphism, hence an atlas.

Proposition

If f:XYf \;\colon\; X \longrightarrow Y is a local diffeomorphism, def. , then so is its image f:XY\stackrel{\rightsquigarrow}{f}\colon \stackrel{\rightsquigarrow}{X} \longrightarrow \stackrel{\rightsquigarrow}{Y} under the bosonic modality.

Proof

Since the bosonic modality provides Aufhebung for \Re\dashv \Im by prop. we have \rightsquigarrow \Im \simeq \Im. Moreover \Im \rightsquigarrow \simeq \Im anyway. Finally \rightsquigarrow preserves pullbacks (being in particular a right adjoint). Hence hitting a pullback diagram

X X f f Y Y \array{ X &\longrightarrow& \Im X \\ \downarrow^{\mathrlap{f}} && \downarrow^{\mathrlap{\Im f}} \\ Y &\longrightarrow& \Im Y }

with \rightsquigarrow\;\; yields a pullback diagram

X X f f Y Y \array{ \stackrel{\rightsquigarrow}{X} &\longrightarrow& \Im \stackrel{\rightsquigarrow}{X} \\ \downarrow^{\mathrlap{\stackrel{\rightsquigarrow}{f}}} && \downarrow^{\mathrlap{\Im \stackrel{\rightsquigarrow}{f}}} \\ \stackrel{\rightsquigarrow}{Y} &\longrightarrow& \Im \stackrel{\rightsquigarrow}{Y} }
Corollary

The bosonic space X\stackrel{\rightsquigarrow}{X} underlying a VV-manifold XX, def. , is a V\stackrel{\rightsquigarrow}{V}-manifold

Frame bundles

Definition

The general linear group GL(V)GL(V) is the automorphism infinity-group of the infinitesimal neighbourhood 𝔻 e V\mathbb{D}^V_e, def. , of the neutral element e:*𝔻 e VVe \colon \ast \to \mathbb{D}^V_e \to V:

GL(V)Aut(𝔻 e V). GL(V) \coloneqq \mathbf{Aut}(\mathbb{D}^V_e) \,.
Proposition

For XX a VV-manifold, def. , then its infinitesimal disk bundle T infXXT_{inf} X \to X, def. , is associated to a GL(V)GL(V)-principal Fr(X)XFr(X) \to X – to be called the frame bundle, modulated by a map to be called τ X\tau_X, producing homotopy pullbacks of the form

T infX V/GL(V) X τ X BGL(V)Fr(X) * X τ X BGL(V). \array{ T_{inf} X &\longrightarrow& V/GL(V) \\ \downarrow && \downarrow \\ X &\stackrel{\tau_X}{\longrightarrow}& \mathbf{B} GL(V) } \;\;\; \array{ Fr(X) &\longrightarrow& \ast \\ \downarrow && \downarrow \\ X &\stackrel{\tau_X}{\longrightarrow}& \mathbf{B} GL(V) } \,.
Definition

A framing of a VV-manifold is a trivialization of its frame bundle, prop. , hence a diagram in H\mathbf{H} of the form

X * BGL(V) \array{ X && \longrightarrow && \ast \\ & \searrow &\swArrow& \swarrow \\ && \mathbf{B}GL(V) }
Remark

It is useful to express def. in terms of the slice topos H /BGL(V)\mathbf{H}_{/\mathbf{B}GL(V)}. Write VFrameH /BGL(V)V\mathbf{Frame}\in \mathbf{H}_{/\mathbf{B}GL(V)} for the canonical morphism *BGL(V)\ast \to \mathbf{B}GL(V) regarded as an object in the slice. Then a framing as in def. is equivalently a morphism

ϕ:τ XVFrame \phi \colon \tau_X \longrightarrow V\mathbf{Frame}

in H /BGL(V)\mathbf{H}_{/\mathbf{B}GL(V)}.

Proposition

The group object VV, canonically regarded as a VV-manifold, carries a canonical framing, def. , ϕ li\phi_{li}, induced by left translation.

GG-Structure

See also at geometry of physics – G-structure and Cartan geometry.

Definition

Given a homomorphism of groups GGL(V)G \longrightarrow GL(V), a G-structure on a VV-manifold XX is a lift c\mathbf{c} of the frame bundle τ X\tau_X of prop. through this map

X G τ X BGL(V). \array{ X && \stackrel{}{\longrightarrow} && G \\ & {}_{\mathllap{\tau_X}}\searrow &\swArrow& \swarrow \\ && \mathbf{B}GL(V) } \,.
Remark

As in remark , it is useful to express def. in terms of the slice topos H /BGL(V)\mathbf{H}_{/\mathbf{B}GL(V)}. Write GStrucH /BGL(V)G\mathbf{Struc}\in \mathbf{H}_{/\mathbf{B}GL(V)} for the given map BGBGL(V)\mathbf{B}G\to \mathbf{B}GL(V) regarded as an object in the slice. Then a GG-structure according to def. is equivalently a choice of morphism in H /BGL(V)\mathbf{H}_{/\mathbf{B}GL(V)} of the form

c:τ XGStruc. \mathbf{c} \;\colon\; \tau_X \longrightarrow G\mathbf{Struc} \,.

In other words, GStrucH /BGL(v)G\mathbf{Struc} \in \mathbf{H}_{/\mathbf{B}GL(v)} is the moduli stack for GG-structures.

Example

A choice of framing ϕ\phi, def. , on a VV-manifold XX induces a G-structure for any GG, given by the pasting diagram in H\mathbf{H}

X * BGL(V) \array{ X &\longrightarrow& \ast &\longrightarrow& \\ & \searrow & \downarrow & \swarrow \\ && \mathbf{B}GL(V) }

or equivalently, via remark and remark , given as the composition

c li:τ XϕVFrameGStruc. \mathbf{c}_{li} \;\colon\; \tau_X \stackrel{\phi}{\longrightarrow} V\mathbf{Frame} \longrightarrow G\mathbf{Struc}\,.

We call this the left invariant GG-structure.

Definition

For XX a VV-manifold, then a G-structure on XX, def. , is integrable if for any VV-atlas VUXV \leftarrow U \rightarrow X the pullback of the GG-structure on XX to VV is equivalent there to the left-inavariant GG-structure on VV of example , i.e. if we have an correspondence in the double slice topos (H /BGL(V)) /GStruc(\mathbf{H}_{/\mathbf{B}GL(V)})_{/G\mathbf{Struc}} of the form

τ U τ V τ X c li c GStruc. \array{ && \tau_U \\ & \swarrow && \searrow \\ \tau_V && \swArrow && \tau_X \\ & {}_{\mathllap{\mathbf{c}_{li}}}\searrow && \swarrow_{\mathrlap{\mathbf{c}}} \\ && G \mathbf{Struc} } \,.

The GG-structure is infintesimally integrable if this holds true at at after restriction along the relative shape modality relUU\flat^{rel} U \to U, def. , to all the infinitesimal disks in UU:

τ relU τ V τ X c li c GStruc. \array{ && \tau_{\flat^{rel}U} \\ & \swarrow && \searrow \\ \tau_V && \swArrow && \tau_X \\ & {}_{\mathllap{\mathbf{c}_{li}}}\searrow && \swarrow_{\mathrlap{\mathbf{c}}} \\ && G \mathbf{Struc} } \,.
Definition

Consider an infinity-action of GL(V)GL(V) on VV which linearizes to the canonical GL(V)GL(V)-action on 𝔻 e V\mathbb{D}^V_e by def. . Form the semidirect product GL(V)VGL(V) \rtimes V. Consider any group homomorphism GGL(V)G\to GL(V).

A (GGV)(G\to G\rtimes V)-Cartan geometry is a VV-manifold XX equipped with a GG-structure, def. . The Cartan geometry is called (infinitesimally) integrable if the GG-structure is so, according to def. .

Remark

For VV an abelian group, then in traditional contexts the infinitesimal integrability of def. comes down to the torsion of a G-structure vanishing. But for VV a nonabelian group, this definition instead enforces that the torsion is on each infinitesimal disk the intrinsic left-invariant torsion of VV itself.

Traditionally this is rarely considered, matching the fact that ordinary vector spaces, regarded as translation groups VV, are abelian groups. But super vector spaces regarded (in suitable dimension) as super translation groups are nonabelian groups (we discuss this in detail below in The super-Klein geometry: super-Minkowski spacetime). Therefore super-vector spaces VV may carry intrinsic torsion, and therefore first-order integrable GG-structures on VV-manifolds are torsion-ful.

Indeed, this is a phenomenon known as the torsion constraints in supergravity. Curiously, as discussed there, for the case of 11-dimensional supergravity the equations of motion of the gravity theory are equivalent to the super-Cartan geometry satisfying this torsion constraint. This way super-Cartan geometry gives a direct general abstract route right into the heart of M-theory.

This we come to now in Super-Cartan geometry for Supergravity.

3) Super-Cartan geometry for Supergravity

Above in The geometric substance we have prepared a topos context for supergeometry with a system of modal operators that accurately reflect the three levels of geometric structure in supergeometry: smooth structure, infinitesimal thickening and fermionic odd grading.

Then in G-Structure and Cartan geometry we have used these modal operators to formulate Cartan geometry on VV-manifolds, def. , for any given local model group space VV.

Here we now consider a concrete particular choice for such a VV: super-Minkowski spacetimes.

  1. Super differential forms

  2. Super Lie algebra valued super differential forms

  3. Supersymmetry and Super-Minkowski spacetime

  4. Poincaré connections: Graviton and gravitino field

  5. Cohomology of super Minkowski spacetime

Super differential forms

Recall from def. :

A super Cartesian space p|q\mathbb{R}^{p|q} is the formal dual of the commutative superalgebra

C ( p|q)C ( p) q C^\infty(\mathbb{R}^{p|q}) \coloneqq C^\infty(\mathbb{R}^p)\otimes_{\mathbb{R}}\wedge^\bullet \mathbb{R}^q

in that a smooth function p 1|q 1 p 2|q 2\mathbb{R}^{p_1|q_1}\longrightarrow \mathbb{R}^{p_2|q_2} is equivalently (by definition!) a superalgebra homomorphism

C ( p 1|q 1)C ( p 2|q 2). C^\infty(\mathbb{R}^{p_1|q_1}) \longleftarrow C^\infty(\mathbb{R}^{p_2|q_2}) \,.

Notice then that from knowledge of an algebra of functions one obtains the corresponding de Rham complex by the idea of Kähler differentials. As discussed there, this statement requires a little care in the smooth context, but the result is still immediate:

For n\mathbb{R}^n a Cartesian space, then its de Rham complex is the \mathbb{Z}-graded commutative dg-algebra whose underlying \mathbb{Z}-graded vector space is

Ω ( p)=C ( p) dx 1,,dx p \Omega^\bullet(\mathbb{R}^p) = C^\infty(\mathbb{R}^p) \otimes_{\mathbb{R}} \wedge^\bullet \langle \mathbf{d}x^1, \cdots, \mathbf{d}x^p\rangle

and whose differential is defined in degree-0 by

df i=1 pfx idx i \mathbf{d} f \coloneqq \sum_{i = 1}^p \frac{\partial f}{\partial x^i} \mathbf{d}x^i

and extended from there to all degree by the graded Leibnitz rule.

It is immediate to generalize this to the super-context, one just needs to be sure to apply the sign rule throughout.

Definition

The de Rham complex of super differential forms Ω ( p|q)\Omega^\bullet(\mathbb{R}^{p|q}) on a super Cartesian space p|q\mathbb{R}^{p|q} is the (, 2)(\mathbb{Z},\mathbb{Z}_2)-bigraded commutative algebra

Ω ( p|q)=C ( p|q) dx 1,,dx p,dθ 1,,dθ q \Omega^\bullet(\mathbb{R}^{p|q}) = C^\infty(\mathbb{R}^{p|q}) \otimes_{\mathbb{R}} \wedge^\bullet \langle \mathbf{d}x^1, \cdots, \mathbf{d}x^p, \; \mathbf{d}\theta^1, \cdots, \mathbf{d}\theta^q \rangle

whose differential is defined in degree-0 by

df i=1 pfx idx i \mathbf{d} f \coloneqq \sum_{i = 1}^p \frac{\partial f}{\partial x^i} \mathbf{d}x^i

and extended from there to all degree by the graded Leibnitz rule.

Remark

We may write

(n,σ)× 2 (n,\sigma)\in \mathbb{Z} \times \mathbb{Z}_2

for elements in this bigrading group.

In this notation the grading of the elements in Ω ( p|q)\Omega^\bullet(\mathbb{R}^{p|q}) is all induced by the fact that the de Rham differential d\mathbf{d} itself is a derivation of degree (1,even)(1,even).

generatorbi-degree
x ax^a(0,even)
θ α\theta^\alpha(0,odd)
d\mathbf{d}(1,even)

Here the last line means that we have

generatorbi-degree
x ax^a(0,even)
θ α\theta^\alpha(0,odd)
dx a\mathbf{d}x^a(1,even)
dθ α\mathbf{d}\theta^\alpha(1,odd)

The formula for the “cohomologically- and super-graded commutativity” in Ω ( p|q)\Omega^\bullet(\mathbb{R}^{p|q}) is

αβ=(1) n αn β+σ ασ ββα \alpha \wedge \beta = \; (- 1)^{n_\alpha n_\beta + \sigma_\alpha \sigma_\beta} \; \beta \wedge \alpha

for all α,βΩ ( p|q)\alpha, \beta \in \Omega^\bullet(\mathbb{R}^{p|q}) of homogeneous × 2\mathbb{Z}\times \mathbb{Z}_2-degree. Hence there are two contributions to the sign picked up when exchanging two super-differential forms in the wedge product:

  1. there is a “cohomological sign” which for commuting a n 1n_1-forms past an n 2n_2-form is (1) n 1n 2(-1)^{n_1 n_2};

  2. in addition there is a “super-grading” sich which for commuting a σ 1\sigma_1-graded coordinate function past a σ 2\sigma_2-graded coordinate function (possibly under the de Rham differential) is (1) σ 1σ 2(-1)^{\sigma_1 \sigma_2}.

Example
x a 1(dx a 2)=+(dx a 2)x a 1 x^{a_1} (\mathbf{d}x^{a_2}) = + (\mathbf{d}x^{a_2}) x^{a_1}
θ α(dx a)=+(dx a)θ α \theta^\alpha (\mathbf{d}x^a) = + (\mathbf{d}x^a) \theta^\alpha
θ α 1(dθ α 2)=(dθ α 2)θ α 1 \theta^{\alpha_1} (\mathbf{d}\theta^{\alpha_2}) = - (\mathbf{d}\theta^{\alpha_2}) \theta^{\alpha_1}
dx a 1dx a 2=dx a 2dx a 1 \mathbf{d}x^{a_1} \wedge \mathbf{d} x^{a_2} = - \mathbf{d} x^{a_2} \wedge \mathbf{d} x^{a_1}
dx adθ α=dθ αdx a \mathbf{d}x^a \wedge \mathbf{d} \theta^{\alpha} = - \mathbf{d}\theta^{\alpha} \wedge \mathbf{d} x^a
dθ α 1dθ α 2=+dθ α 2dθ α 1 \mathbf{d}\theta^{\alpha_1} \wedge \mathbf{d} \theta^{\alpha_2} = + \mathbf{d}\theta^{\alpha_2} \wedge \mathbf{d} \theta^{\alpha_1}

See at signs in supergeometry for further discussion, for literature, and for mentioning of another popular sign convention, which is different but in the end yields the same cohomology.

Super Lie algebra valued super differential forms

We want to discuss the generalization of the concept of Lie algebra valued differential forms from ordinary differential geometry to supergeometry. To that end, we first recall the following neat formulation of ordinary Lie algebra valued differential forms due to Cartan. This will lend itself in fact not only to the generalization to super Lie algebras but further to super L-∞ algebras, which is what is needed for the desciption of higher dimensional supergravity.

Definition

The Chevalley-Eilenberg algebra CE(𝔤)CE(\mathfrak{g}) of a finite dimensional Lie algebra 𝔤\mathfrak{g} is the semifree graded-commutative dg-algebra whose underlying graded algebra is the Grassmann algebra

𝔤 *=k𝔤 *(𝔤 *𝔤 *) \wedge^\bullet \mathfrak{g}^* = k \oplus \mathfrak{g}^* \oplus (\mathfrak{g}^* \wedge \mathfrak{g}^* ) \oplus \cdots

(with the nnth skew-symmetrized power in degree nn)

and whose differential dd (of degree +1) is on 𝔤 *\mathfrak{g}^* the dual of the Lie bracket

d| 𝔤 *:=[,] *:𝔤 *𝔤 *𝔤 * d|_{\mathfrak{g}^*} := [-,-]^* : \mathfrak{g}^* \to \mathfrak{g}^* \wedge \mathfrak{g}^*

extended uniquely as a graded derivation on 𝔤 *\wedge^\bullet \mathfrak{g}^*.

That this differential indeed squares to 0, dd=0d \circ d = 0, is precisely the fact that the Lie bracket satisfies the Jacobi identity.

Remark

If in the situation of prop. we choose a dual basis {t a}\{t^a\} of 𝔤 *\mathfrak{g}^* and let {C a bc}\{C^a{}_{b c}\} be the structure constants of the Lie bracket in that basis, then the action of the differential on the basis generators is

dt a=12C a bct bt c, d t^a = - \frac{1}{2} C^a{}_{b c} t^b \wedge t^c \,,

where here and in the following a sum over repeated indices is implicit.

Proposition

The construction of Chevalley-Eilenberg algebras in def. yields a fully faithful functor

CE():LieAlgdgAlg op CE(-) \colon LieAlg \longrightarrow dgAlg^{op}

embedding Lie algebras into formal duals of differential graded algebras. Its image consists of precisely of the semifree dg-algebras, those whose underlying graded algebra (forgetting the differential) is a Grassmann algebra generated on a vector space.

Definition

Given a Lie algebra 𝔤\mathfrak{g}, its Weil algebra W(𝔤)W(\mathfrak{g}) is the semi-free dga whose underlying graded-commutative algebra is the exterior algebra

(𝔤 *𝔤 *[1]) \wedge^\bullet (\mathfrak{g}^* \oplus \mathfrak{g}^*[1])

on 𝔤 *\mathfrak{g}^* and a shifted copy of 𝔤 *\mathfrak{g}^*, and whose differential is the sum

d W(𝔤)=d CE(𝔤)+d d_{W(\mathfrak{g})} = d_{CE(\mathfrak{g})} + \mathbf{d}

of two graded derivations of degree +1 defined by

  • d\mathbf{d} acts by degree shift 𝔤 *𝔤 *[1]\mathfrak{g}^* \to \mathfrak{g}^*[1] on elements in 𝔤 *\mathfrak{g}^* and by 0 on elements of 𝔤 *[1]\mathfrak{g}^*[1];

  • d CE(𝔤)d_{CE(\mathfrak{g})} acts on unshifted elements in 𝔤 *\mathfrak{g}^* as the differential of the Chevalley-Eilenberg algebra of 𝔤\mathfrak{g} and is extended uniquely to shifted generators by graded-commutattivity

    [d CE(𝔤,d]=0 [d_{CE(\mathfrak{g}}, \mathbf{d}] = 0

    with d\mathbf{d}:

    d CE(𝔤)dω:=dd CE(𝔤)ω d_{CE(\mathfrak{g})} \mathbf{d} \omega := - \mathbf{d} d_{CE(\mathfrak{g})} \omega

    for all ω 1𝔤 *\omega \in \wedge^1 \mathfrak{g}^*.

Proposition

Given a Lie algebra 𝔤\mathfrak{g}, then a Lie algebra valued differential form on, say, a Cartesian space n\mathbb{R}^n, is equivalently a dg-algebra homomorphims

Ω ( p)W(𝔤):A, \Omega^\bullet(\mathbb{R}^p) \longleftarrow W(\mathfrak{g}) \colon A \,,

hence there is a natural bijection

Ω 1( p,𝔤)Hom dgAlg(W(𝔤),Ω ( p)). \Omega^1(\mathbb{R}^p, \mathfrak{g}) \simeq Hom_{dgAlg}(W(\mathfrak{g}), \Omega^\bullet(\mathbb{R}^p)) \,.

The form AA is flat in that its curvature differential 2-form F AF_A vanishes, precisely if this morphism factors through the CE-algebra.

Remark

With a choice of basis as in remark , then the content of prop. is seen in components as follows:

a dg-algebra homomorphism is first of all a homomorphism of graded algebras, and since the domain W(𝔤)W(\mathfrak{g}) is free as a graded algebra, such is entirely determined by what it does to the generators

t a, A a Ω 1( n) r a F a Ω 2( n). \array{ t^a, &\mapsto& A^a & \in \Omega^1(\mathbb{R}^n) \\ r^a &\mapsto& F^a & \in \Omega^2(\mathbb{R}^n) } \,.

But being a dg-algebra homomorphism, this assignment needs to respect the differentials on both sides. For the original generators this gives

t a A a d W(𝔤) d dR 12C a bct bt c+r a (12C a bcA bA c+F a) = d dRA a. \array{ t^a &\mapsto&&& A^a \\ \downarrow^{\mathrlap{d_{W(\mathfrak{g})}}} &&&& \downarrow^{\mathrlap{\mathbf{d}_{dR}}} \\ - \frac{1}{2} C^a{}_{b c} t^b \wedge t^c + r^a &\mapsto& (- \frac{1}{2} C^a{}_{b c} A^b \wedge A^c + F^a) &=& \mathbf{d}_{dR} A^a } \,.

With this satisfied, then, by the very nature of the Weil algebra, the differential is automatically respected also on the shifted generators. This statement is the Bianchi identity.

Now to pass this to superalgebra.

Definition

For V=V evenV oddV = V_{even} \oplus V_{odd} a super vector space, then its Grassmann algebra V\wedge^\bullet V is the free (, 2)(\mathbb{Z},\mathbb{Z}_2)-bigraded commutative algebra subject to

v 1v 2=(1)(1) σ 1σ 2. v_1 \wedge v_2 = (-1) (-1)^{\sigma_1 \sigma_2} \,.

In the spirit of prop. we may then simply say that:

Definition

A super Lie algebra structure on a super vector space 𝔤\mathfrak{g} is the formal dual of a (, 2)(\mathbb{Z},\mathbb{Z}_2)-bigraded commutative differential algebra

CE(𝔤)=( V *,d) CE(\mathfrak{g}) = \left( \wedge^\bullet V^\ast, \; d \right)

(with differential dd of degree (1,even)) such that the underlying graded algebra is the super Grassmann algebra 𝔤 *\wedge^\bullet \mathfrak{g}^\ast via def. .

We call this again the Chevalley-Eilenberg algebra of the super Lie algebra dually defined thereby.

Similarly, the Weil algebra W(𝔤)W(\mathfrak{g}) is obtained from this by adding a generator in degree (2,σ)(2,\sigma) for each previous generator in degree (1,σ)(1,\sigma) and extending the differential as in def. .

Unwinding what this means, one finds that it is equivalent to the following more traditional definition:

Proposition

A super Lie algebra is equivalently

  1. a super vector space 𝔤=𝔤 even𝔤 odd\mathfrak{g} = \mathfrak{g}_{even} \oplus \mathfrak{g}_{odd};

  2. equipped with a bilinear bracket

    [,]:𝔤𝔤𝔤 [-,-] : \mathfrak{g}\otimes \mathfrak{g} \to \mathfrak{g}

    which is graded skew-symmetric: it is skew symmetric on 𝔤 even\mathfrak{g}_{even} and symmetric on 𝔤 odd\mathfrak{g}_{odd}.

  3. that satisfied the 2\mathbb{Z}_2-graded Jacobi identity in that for any three elements x,y,z𝕘x,y,z \in \mathbb{g} of homogeneous super-degree σ x,σ y,σ z) 2\sigma_x,\sigma_y,\sigma_z)\in \mathbb{Z}_2 then

    [x,[y,z]]=[[x,y],z]+(1) σ xσ y[y,[x,z]]. [x, [y, z]] = [[x,y],z] + (-1)^{\sigma_x \cdot \sigma_y} [y, [x,z]] \,.

But with def. we immediately known, in view of prop. , what super Lie algebra valued super differential forms should be:

Definition

Given a super Lie algebra 𝔤\mathfrak{g}, def. , prop. , then a 𝔤\mathfrak{g}-valued super-differential form on the super Cartesian space p|q\mathbb{R}^{p|q} is a (, 2)(\mathbb{Z},\mathbb{Z}_2)-graded dg-algebra homomorphism

Ω ( p|q)W(𝔤):A \Omega^\bullet(\mathbb{R}^{p|q}) \longleftarrow W(\mathfrak{g}) \;\colon\; A

from the Weil algebra according to def. , to the super de Rham complex of def. .

Accordingly we write

Ω 1( p|q,𝔤)Hom dgAlg(W(𝔤),Ω ( p|q)). \Omega^1(\mathbb{R}^{p|q}, \mathfrak{g}) \coloneqq Hom_{dgAlg}(W(\mathfrak{g}), \Omega^\bullet(\mathbb{R}^{p|q})) \,.
Example

Let 𝔤 1|0=\mathfrak{g} \coloneqq \mathbb{R}^{1|0} = \mathbb{R} be the ordinary abelian line Lie algebra. Then

Ω 1( p|q, 1|0)Ω 1( p|q) even \Omega^1(\mathbb{R}^{p|q}, \mathbb{R}^{1|0}) \simeq \Omega^1(\mathbb{R}^{p|q})_{even}

is the set of super-differential forms in degree (1,even)(1,even).

Similarly with 𝔤= 0|1\mathfrak{g} = \mathbb{R}^{0|1} the odd line regarded as an abelian super Lie algebra, then

Ω 1( p|q, 0|1)Ω 1( p|q) odd. \Omega^1(\mathbb{R}^{p|q}, \mathbb{R}^{0|1}) \simeq \Omega^1(\mathbb{R}^{p|q})_{odd} \,.

So generally for 𝔤\mathfrak{g} an ordinary Lie algebra regarded as a super Lie algebra, then Ω 1( p|q,𝔤)\Omega^1(\mathbb{R}^{p|q}, \mathfrak{g}) is bigger than Ω 1( p,𝔤)\Omega^1(\mathbb{R}^p,\mathfrak{g}).

This is an issue to be dealt with when describing supergravity in terms of Cartan fields on supermanifolds XX, because the actual spacetime manifold one cares about is just the bosonic part X\stackrel{\rightsquigarrow}{X}. This issue is deal with by the concept of rheonomy.

Supersymmetry and Super-Minkowski spacetime

We consider now very specific super Lie algebras, def. , those of supersymmetry.

Just as traditional Cartan geometry involves a pair of Lie algebras 𝔥𝔤\mathfrak{h} \hookrightarrow \mathfrak{g}, so super-Cartan geometry involves a similar pair of super Lie algebras. For describing supergravity, we now want to establish an superalgebra-analog of the inclusion of the Lorentz Lie algebra 𝔥=𝔰𝔬( d1,1)\mathfrak{h} = \mathfrak{so}(\mathbb{R}^{d-1,1}) into the Poincaré Lie algebra 𝔤=ℑ𝔰𝔬( d1,1)\mathfrak{g} = \mathfrak{Iso}(\mathbb{R}^{d-1,1}).

(higher-)Cartan geometry𝔤\mathfrak{g}𝔥\mathfrak{h}𝔤/𝔥\mathfrak{g}/\mathfrak{h}
Einstein gravityℑ𝔰𝔬( d1,1)\mathfrak{Iso}(\mathbb{R}^{d-1,1})𝔰𝔬( d1,1)\mathfrak{so}(\mathbb{R}^{d-1,1}) d1,1\mathbb{R}^{d-1,1}
supergravityℑ𝔰𝔬( d1,1|N)\mathfrak{Iso}(\mathbb{R}^{d-1,1\vert N})𝔰𝔬( d1,1)\mathfrak{so}(\mathbb{R}^{d-1,1}) d1,1|N\mathbb{R}^{d-1,1\vert N}
11-dimensional supergravityℑ𝔰𝔬(^ 10,1|32)\mathfrak{Iso}(\widehat{\mathbb{R}}^{10,1\vert \mathbf{32}})𝔰𝔬( d1,1)\mathfrak{so}(\mathbb{R}^{d-1,1})^ 10,1|32\widehat{\mathbb{R}}^{10,1\vert \mathbf{32}}

(Here the hat in the lowest row indicates an extended super Minkowski spacetime, which involves higher Cartan geometry.)

To that end, consider the structure of any super Lie algebra

(ℑ𝔰𝔬( d1,1)N,[,]) \left( \mathfrak{Iso}(\mathbb{R}^{d-1,1})\oplus N , [-,-] \right)

that extends the Poincaré Lie algebra ℑ𝔰𝔬( d1,1)\mathfrak{Iso}(\mathbb{R}^{d-1,1}) by some odd-graded vector space NN. Any such extension involves involves:

  1. the even-odd superbracket [𝔰𝔬,N][\mathfrak{so},N], which hence is an action of the Lorentz Lie algebra on NN;

  2. the even-even-odd Jacobi identity, which is the action property of that action;

  3. the odd-odd superbracket [N,N][N,N] which is a symmetric bilinear form NN d1,1N \otimes N \to \mathbb{R}^{d-1,1}

  4. the even-odd-odd Jacobi identity, which says that this bilinear form is 𝔬(d1,1)\mathfrak{o}(d-1,1)-equivariant.

Such structure exists on real spin representation:

Proposition

Let V= d1,1V = \mathbb{R}^{d-1,1} be Minkowski spacetime of some dimension dd.

The following table lists the irreducible real spin representations of Spin(V)Spin(V).

ddSpin(d1,1)Spin(d-1,1)minimal real spin representation NNdim Sdim_{\mathbb{R}} S\;\;VV in terms of S *S^\astsupergravity
1 2\mathbb{Z}_2NN real1V(N *) 2V \simeq (N^\ast)^{\otimes}^2
2 >0× 2\mathbb{R}^{\gt 0} \times \mathbb{Z}_2N +,N N^+, N^- real1V(N + *) 2(N *) 2V \simeq ({N^+}^\ast)^{\otimes^2} \oplus ({N^-}^\ast)^{\otimes 2}
3SL(2,)SL(2,\mathbb{R})NN real2VSym 2N *V \simeq Sym^2 N^\ast
4SL(2,)SL(2,\mathbb{C})N NNN_{\mathbb{C}} \simeq N' \oplus N''4V N *N *V_{\mathbb{C}} \simeq {N'}^\ast \oplus {N''}^\ast
5Sp(1,1)Sp(1,1)N N 0 WN_{\mathbb{C}} \simeq N_0 \otimes_{\mathbb{C}} W8 2S 0 *V \wedge^2 S_0^\ast \simeq \mathbb{C} \oplus V_{\mathbb{C}}
6SL(2,)SL(2,\mathbb{H})N ±N 0 ± WN^\pm_{\mathbb{C}} \simeq N_0^\pm \otimes_{\mathbb{C}} W8V 2N 0 + *( 2N 0 *) *V_{\mathbb{C}} \simeq \wedge^2 {N_0^+}^\ast \simeq (\wedge^2 {N_0^-}^\ast)^\ast
7N N 0 WN_{\mathbb{C}} \simeq N_0 \otimes_{\mathbb{C}} W16 2S 0 *V 2V \wedge^2 S_0^\ast \simeq V_{\mathbb{C}} \oplus \wedge^2 V_{\mathbb{C}}
8N N N N_{\mathbb{C}} \simeq N^\prime \oplus N^{\prime\prime}16N *N *V 3V {N'}^\ast {N''}^\ast \simeq V_{\mathbb{C}} \oplus \wedge^3 V_{\mathbb{C}}
9NN real16Sym 2N *V 4VSym^2 N^\ast \simeq \mathbb{R} \oplus V \wedge^4 V
10N +,N N^+ , N^- real16Sym 2(N ±) *V ± 5VSym^2(N^\pm)^\ast \simeq V \oplus \wedge_\pm^5 Vtype II supergravity
11NN real32Sym 2N *V 2V 5VSym^2 N^\ast \simeq V \oplus \wedge^2 V \oplus \wedge^5 V11-dimensional supergravity

Here WW is the 2-dimensional complex vector space on which the quaternions naturally act.

(e.g. Freed 99, page 48)

Remark

The last column in prop. implies that in each dimension there exists a linear map

()¯Γ():S *S * d1,1 \overline{(-)}\Gamma(-) \;\colon\; S^\ast \otimes S^\ast \longrightarrow \mathbb{R}^{d-1,1}

which is

  1. symmetric;

  2. Spin(V)Spin(V)-equivariant.

This is what in the physics literature is expressed in components by the Gamma matrices with “indices lowered” using the charge conjugation matrix.

Corollary

Given a real Spin( d1,1)Spin(\mathbb{R}^{d-1,1}) representation NN, there exists a super Lie algebra structure on

𝔰𝔬( d1,1) d1,1N \mathfrak{so}(\mathbb{R}^{d-1,1})\rtimes\mathbb{R}^{d-1,1} \oplus N

extending the Poincare Lie algebra whose odd-odd-bracket is the bilinear pairing of remark .

Definition

This is the super Poincaré Lie algebra ℑ𝔰𝔬( d1,1|N)\mathfrak{Iso}(\mathbb{R}^{d-1,1|N}). Its Lie integration to a super Lie group is the super Poincaré group Iso( d1,1|N)Iso(\mathbb{R}^{d-1,1|N}).

The quotient of the super Poincaré Lie algebra by the Lorentz Lie algebra is super-Minkowski spacetime regarded as a super Lie algebra:

d1,1|Nℑ𝔰𝔬( d1,1|N)/𝔰𝔬( d1,1|N). \mathbb{R}^{d-1,1|N} \coloneqq \mathfrak{Iso}(\mathbb{R}^{d-1,1|N})/\mathfrak{so}(\mathbb{R}^{d-1,1|N}) \,.
Remark

The space underlying the super Minkowski spacetime d1,1|N\mathbb{R}^{d-1,1|N} in def. is the super Cartesian space d,dim (N)\mathbb{R}^{d,dim_{\mathbb{R}}(N)}, def. .

Poincaré connections: Graviton and gravitino field

We may now apply the general discussion of super Lie algebra valued super differential forms, def. , to the case of the super Poincare Lie algebra, def. .

its Chevalley-Eilenberg algebra CE(ℑ𝔰𝔬( d1,1|N))CE(\mathfrak{Iso}(\mathbb{R}^{d-1,1|N})) is generated on

  • elements {e a}\{e^a\} and {ω ab}\{\omega^{ a b}\} of degree (1,even)(1,even)

  • and elements {ψ α}\{\psi^\alpha\} of degree (1,odd)(1,odd)

with the differential defined by

d CEω ab=ω a bω bc d_{CE} \, \omega^{a b} = \omega^a{}_b \wedge \omega^{b c}
d CEe a=ω a be b+i2ψ¯Γ aψ d_{CE} \, e^{a } = \omega^a{}_b \wedge e^b + \frac{i}{2}\bar \psi \Gamma^a \psi
d CEψ=14ω abΓ abψ. d_{CE} \, \psi = \frac{1}{4} \omega^{ a b} \Gamma_{a b} \psi \,.

Accordingly its Weil algebra W(ℑ𝔰𝔬( d1,1|N))W(\mathfrak{Iso}(\mathbb{R}^{d-1,1|N})) has these generators together with a further degree-shifted copy of each {t a}\{t^a\}, {r ab}\{r^{a b}\} and {ρ α}\{\rho^{\alpha}\} with differential given by

d Wω ab=ω a bω bc+r ab d_{W} \, \omega^{a b} = \omega^a{}_b \wedge \omega^{b c} + r^{a b}
d We a=ω a be b+i2ψ¯Γ aψ+t a d_{W} \, e^{a } = \omega^a{}_b \wedge e^b + \frac{i}{2}\bar \psi \Gamma^a \psi + t^a
d Wψ=14ω abΓ abψ+ρ. d_{W} \, \psi = \frac{1}{4} \omega^{ a b} \Gamma_{a b} \psi + \rho \,.

Differential form data with values in this is a morphism of dg-algebras from the Weil algebra W(ℑ𝔰𝔬( d1,1|N))W(\mathfrak{Iso}(\mathbb{R}^{d-1,1|N})) to the deRham dg-algebra Ω ( p|q)\Omega^\bullet(\mathbb{R}^{p|q}), def.

Ω (X)W(ℑ𝔰𝔬( d1,1|N)):(A,F A). \Omega^\bullet(X) \leftarrow W(\mathfrak{Iso}(\mathbb{R}^{d-1,1|N})) : (A,F_A) \,.

This is ∞-Lie algebroid valued differential form data with ∞-Lie algebroid valued curvature that is explicitly given by:

  • connection forms / field configuration

  • curvature forms / field strengths

    • T=dE+ΩE+Γ(Ψ¯Ψ)Ω 2(X, d1,1)T = d E + \Omega \cdot E + \Gamma(\bar \Psi \wedge \Psi) \in \Omega^2(X,\mathbb{R}^{d-1,1}) - the torsion

    • R=dΩ+[ΩΩ]Ω 2(X,𝔰𝔬(10,1))R = d \Omega + [\Omega \wedge \Omega] \in \Omega^2(X, \mathfrak{so}(10,1)) - the Riemann curvature

    • ρ=dΨ+(ΩΨ)Ω 2(X,S)\rho = d \Psi + (\Omega \wedge \Psi) \in \Omega^2(X, S) – the covariant derivative of the gravitino

Cohomology of super-Minkowski spacetime

The Chevalley-Eilenberg algebras which in def. and def. we used to characterize the corresponding (super) Lie algebras are of course traditionally introduced as the cochain complexes whose cochain cohomology is Lie algebra cohomology. We may conceptualize this as follows:

Definition

For nn \in \mathbb{N} write 1|0[n]\mathbb{R}^{1|0}[n] for the line Lie (n+1)-algebra, the super L-infinity algebra defined simply as the formal dual to the (, 2)(\mathbb{Z},\mathbb{Z}_2)-graded commutative dg-algebra

CE( 1|0[n])( 1|0[n],d=0) CE(\mathbb{R}^{1|0}[n]) \coloneqq \left( \wedge^\bullet \mathbb{R}^{1|0}[n], \; d = 0 \right)

whose underlying graded algebra is freely generated from a single generator in degree (n,even)(n,even), and whose differential vanishes.

Remark

Recall that being a “formal dual” to a dg-algebra here simply means that for 𝔤\mathfrak{g} any super Lie algebra, the homomorphisms of super L-infinity algebras of the form

μ:𝔤 1|0[n] \mu \;\colon\; \mathfrak{g} \longrightarrow \mathbb{R}^{1|0}[n]

are equivalently (by definition!) homomorphisms of dg-algebras of the form

CE(𝔤)CE( 1|0[n]). CE(\mathfrak{g}) \longleftarrow CE(\mathbb{R}^{1|0}[n]) \,.

Since the underlying graded algebra of CE( 1|0[n])CE(\mathbb{R}^{1|0}[n]) is free on a single generator cc in degree n+1n+1, such a homomorphism is determined by the image of this generator

cμCE(𝔤). c \mapsto \mu \in CE(\mathfrak{g}) \,.

Moreover, the condition that this map respects the differentials, and since the differential on CE( 1|0[n])CE(\mathbb{R}^{1|0}[n]) vanishes by definition, this means that

c μ d 1|0[n] d 𝔤 0 0 = d 𝔤μ. \array{ c &\mapsto& && \mu \\ \downarrow^{\mathrlap{d_{\mathbb{R}^{1|0}[n]}}} && && \downarrow^{\mathrlap{d_{\mathfrak{g}}}} \\ 0 &\mapsto& 0 &=& d_{\mathfrak{g}}\mu } \,.

Hence such a moprhism μ\mu is equivalently a closed element of degree (n+1)(n+1) in CE(𝔤)CE(\mathfrak{g}), hence is equivalently a super Lie algebra cocycle of degree n+1n+1 on 𝔤\mathfrak{g}.

This way line Lie (n+1)-algebra 1|0[n]\mathbb{R}^{1|0}[n] is the moduli object for degree-(n+1)(n+1) Lie algebra cohomology in direct analogy of how for instance the familiar Eilenberg-MacLane space B n+1=K(,n+1)B^{n+1}\mathbb{R} = K(\mathbb{Z},n+1) is the classifying space for degree n+1n+1 ordinary cohomology of topological spaces.

One advantange of conceptualizing Lie algebra cocycles as in remark is that it neatly connects to the formulation of Lie algebra valued forms according to def. , def. :

Remark

A 1|0[n]\mathbb{R}^{1|0}[n]-valued differential form is simply an even closed differential (n+1)(n+1)-form:

Ω 1( p|q, 1|0[n])Hom(CE( 1|0[n]),Ω ( p|q))Ω n+1( p|q) even,closed. \Omega^1(\mathbb{R}^{p|q}, \mathbb{R}^{1|0}[n]) \simeq Hom(CE(\mathbb{R}^{1|0}[n]), \Omega^\bullet(\mathbb{R}^{p|q})) \simeq \Omega^{n+1}(\mathbb{R}^{p|q})_{even,closed} \,.

Hence a super Lie algebra (n+1)(n+1)-cocycle μ\mu on 𝔤\mathfrak{g} naturally determines a map

μ():Ω 1( p|q,𝔤)Ω n+1( p|q) even,closed \mu(-) \colon \Omega^1(\mathbb{R}^{p|q},\mathfrak{g}) \longrightarrow \Omega^{n+1}(\mathbb{R}^{p|q})_{even,closed}

given by forming the composite with the morphism representing the cocycle μ\mu

(Ω ( p|q)ACE(𝔤))(Ω ( p|q)ACE(𝔤)μ *CE( 1|0[n])) \left( \Omega^\bullet(\mathbb{R}^{p|q}) \stackrel{A}{\longleftarrow} CE(\mathfrak{g}) \right) \mapsto \left( \Omega^\bullet(\mathbb{R}^{p|q}) \stackrel{A}{\longleftarrow} CE(\mathfrak{g}) \stackrel{\mu^\ast}{\longleftarrow} CE(\mathbb{R}^{1|0}[n]) \right)

sending a Lie algebra valued form AA to a closed differential form μ(A)\mu(A).

But an even closed (n+1)(n+1)-form on p|q\mathbb{R}^{p|q} depending on other field data may be understood as the WZW term in a local Lagrangian for the sigma-model of an (n1)(n-1)-brane propagating on p|q\mathbb{R}^{p|q}. Therefore it is of key interest to classify these for the case that 𝔤\mathfrak{g} is a super Minkowski spacetime.

Let (x a,θ α)(x^a, \theta^\alpha) be the canonical coordinates on the super Minkowski spacetime d1,1|N\mathbb{R}^{d-1,1|N} underlying the super translation group. Then the left invariant super-differential 1-forms are

  • ψ α=dθ α\psi^\alpha = \mathbf{d} \theta^\alpha.

  • e a=dx a+i2θ¯Γ adθe^a = d x^a + \frac{i}{2} \overline{\theta} \Gamma^a \mathbf{d} \theta.

This means that there is one non-trivial differential on these:

de a =d(dx a+i2θ¯Γ adθ) =i2dθ¯Γ adθ =i2ψ¯Γ aψ. \begin{aligned} \mathbf{d} e^a & = \mathbf{d} (\mathbf{d} x^a + \frac{i}{2} \overline{\theta} \Gamma^a d \theta) \\ & = \frac{i}{2} \mathbf{d} \overline{\theta}\Gamma^a \mathbf{d} \theta \\ & = \frac{i}{2} \overline{\psi}\Gamma^a \psi \end{aligned} \,.

These relation consistute CE( d1,1|N)CE(\mathbb{R}^{d-1,1|N}).

Remark

The term i2ψ¯Γ aψ\frac{i}{2}\bar \psi \Gamma^a \psi is sometimes called the supertorsion of the super-vielbein ee, because the defining equation

d CEe aω a be b=i2ψ¯Γ aψ d_{CE} e^{a } -\omega^a{}_b \wedge e^b = \frac{i}{2}\bar \psi \Gamma^a \psi

may be read as saying that ee is torsion-free except for that term. Notice that this term is the only one that appears when the differential is applied to “Lorentz scalars”, hence to object in CE(𝔰𝔦𝔰𝔬)CE(\mathfrak{siso}) which have “all indices contracted”. (See also at torsion constraints in supergravity.)

Notably we have

d(ψ¯Γ a 1a pψe a 1e a p)(ψ¯Γ a 1a pψe a 1e a p1)(Ψ¯Γ a pΨ). \mathbf{d} \left( \overline{\psi} \wedge \Gamma^{a_1 \cdots a_p} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_p} \right) \propto \left( \overline{\psi} \wedge \Gamma^{a_1 \cdots a_p} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_{p-1}} \right) \wedge \left( \overline{\Psi} \wedge \Gamma_{a_p} \Psi \right) \,.

This relation is what govers all of the exceptional super Lie algebra cocycles that appear as WZW terms for super p-branes: for some combinations of (D,p)(D,p) a Fierz identity implies that the term

(ψ¯Γ a 1a pψe a 1e a p1)(Ψ¯Γ a pΨ) \left( \overline{\psi} \wedge \Gamma^{a_1 \cdots a_p} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_{p-1}} \right) \wedge \left( \overline{\Psi} \wedge \Gamma_{a_p} \Psi \right)

vanishes identically, and hence in these dimensions the term

ψ¯Γ a 1a pψe a 1e a p \overline{\psi} \wedge \Gamma^{a_1 \cdots a_p} \psi \wedge e_{a_1} \wedge \cdots \wedge e_{a_p}

is a cocycle.

Proposition

Lorentz-invariant super Lie algebra cocycles on a super Minkowski spacetime super translation Lie algebra d1,1|N\mathbb{R}^{d-1,1|N} in degree (p+2)(p+2) appear precisely once (up to scalar multiple) for each combination (d,p,N)(d,p,N) for which in string theory there is a super p-brane propagating on a dd-dimensional supergravity background with NN-supersymmetries.

The brane scan.

The Green-Schwarz type super pp-brane sigma-models (see at table of branes for further links and see at The brane bouquet for the full classification):

=d\stackrel{d}{=}p=p =123456789
11M2M5
10D0F1, D1D2D3D4NS5, D5D6D7D8D9
9*
8*
7M2 top{}_{top}
6F1 little{}_{little}, S1 sd{}_{sd}S3
5*
4**
3*

(The first columns follow the exceptional spinors table.)

The corresponding exceptional super L-∞ algebra cocycles (schematically, without prefactors):

=d\stackrel{d}{=}p=p =123456789
11Ψ 2E 2\Psi^2 E^2 on sIso(10,1)Ψ 2E 5+Ψ 2E 2C 3\Psi^2 E^5 + \Psi^2 E^2 C_3 on m2brane
10Ψ 2E 1\Psi^2 E^1 on sIso(9,1)B 2 2+B 2Ψ 2+Ψ 2E 2B_2^2 + B_2 \Psi^2 + \Psi^2 E^2 on StringIIA\cdots on StringIIBB 2 3+B 2 2Ψ 2+B 2Ψ 2E 2+Ψ 2E 4B_2^3 + B_2^2 \Psi^2 + B_2 \Psi^2 E^2 + \Psi^2 E^4 on StringIIAΨ 2E 5\Psi^2 E^5 on sIso(9,1)B 2 4++Ψ 2E 6B_2^4 + \cdots + \Psi^2 E^6 on StringIIA\cdots on StringIIBB 2 5++Ψ 2E 8B_2^5 + \cdots + \Psi^2 E^8 in StringIIA\cdots on StringIIB
9Ψ 2E 4\Psi^2 E^4 on sIso(8,1)
8Ψ 2E 3\Psi^2 E^3 on sIso(7,1)
7Ψ 2E 2\Psi^2 E^2 on sIso(6,1)
6Ψ 2E 1\Psi^2 E^1 on sIso(5,1)Ψ 2E 3\Psi^2 E^3 on sIso(5,1)
5Ψ 2E 2\Psi^2 E^2 on sIso(4,1)
4Ψ 2E 1\Psi^2 E^1 on sIso(3,1)Ψ 2E 2\Psi^2 E^2 on sIso(3,1)
3Ψ 2E 1\Psi^2 E^1 on sIso(2,1)

The Brane molecule

Furthermore, there exists a more general classification of possible supermembranes in spacetime with SS spatial dimensions and TT time dimensions, appearing in (Blencowe-Duff 88). In this sense, the brane scan is but the T=1T=1 branch of the brane molecule. The objects appearing here are expected to be related to other generalizations of string theory. See D=12 supergravity and bosonic M-theory.

The brane molecule without assuming super Poincare invariance.

Compare:

Definite super-forms

A rich source of traditional Cartan geometry comes from special holonomy induced by definite forms. We discuss here the analogous phenomenon for super-differential forms which are definite on one of the exceptional closed forms appearing in the brane scan as discussed above.

First consider the traditional situation

Definition

Consider a real vector space VV and a form ϕ p+2V *\phi \in \wedge^{p+2} V^\ast regarded as a constant differential form ϕΩ p+2(V)\phi \in \Omega^{p+2}(V) on the smooth manifold underlying VV.

Consider then a VV-manifold XX, i.e. a smooth manifold of dimension d=dim(V)d = dim(V). A differential form ωΩ p+2(X)\omega \in \Omega^{p+2}(X) is a definite form on ϕ\phi if its restriction to each tangent space T xXVT_x X \simeq V is in the orbit of ϕ\phi under the natural action of the general linear group GL(V)GL(V) by pullback of differential forms.

Proposition

A choice of definite form, def. , on a VV-manifold XX, definite on some ϕ\phi is equivalent to a choice of G-structure on XX for G=Stab GL(V)(ϕ)GL(V)G = Stab_{GL(V)}(\phi) \hookrightarrow GL(V) the stabilizer group of ϕ\phi under GL(V)GL(V).

Example

For V= 2nV = \mathbb{R}^{2n} and ϕ\phi the canonical symplectic form, then is stabilizer group is the symplectic group and a G-structure in this case is almost symplectic structure.

For V= 7V = \mathbb{R}^7 and ϕ\phi the associative 3-form, then its stabilizer group is G₂ and a G-structure in this case is a G₂-structure.

Now the super differential forms ϕ=ψ¯E a 1E a pψ\phi = \overline{\psi} \wedge E^{a_1} \wedge \cdots E^{a_p}\wedge \psi on super Minkowski spacetime d1,1|N\mathbb{R}^{d-1,1|N} in the brane scan serve as curvature forms for the Green-Schwarz super p-brane sigma models on super-Minkowki spacetime. The globalization of these sigma models to curved superspacetimes XX requires, in particular, that these ϕ\phi are extended as definite super differential forms over XX.

Side Remark

This is discussed further at Green-Schwarz action functional – On curved target spacetime. In fact this is just a necessary condition, giving the globalization of the curvature of the WZW term. The full WZW term is a higher Super Gerbes which is a higher prequantization of this cocycle, and hence its definition requires the lift of the definite cocycle form to a parameterized WZW model over superspacetime. Discussion of this classical anomaly-cancellation problem for super p-branes on curved supergravity targets is the content at Higher Cartan Geometry.

Since the cocycles in the brane scan are not just closed forms, but are also super Lie algebra cocycles, it is natural to ask not for the stabilizer subgroup under the action of the whole general linear group GL( d1,1|N)GL(\mathbb{R}^{d-1,1|N}), but just under the automorphism group of the super-Lie bracket, i.e. to ask for stabilization both of the cocycle form as well as the bracket.

Proposition

Let d1,1,N\mathbb{R}^{d-1,1,N} be super Minkowski spacetime in dimension d{3,4,6,10}d \in \{3,4,6,10\} and let ϕΩ 3( d1,1|N)\phi \in \Omega^{3}(\mathbb{R}^{d-1,1|N}) the corresponding 3-form characterizing the super-1-brane (superstring) in this dimension, according to the brane scan . Then the stabilizer subgroup of both the super Lie bracket and the cocycle is the Spin group Spin(d1,1)Spin(d-1,1):

Stab GL( d1,1|N)([,],ϕ)Spin(d1,1)GL( d1,1|N). Stab_{GL(\mathbb{R}^{d-1,1|N})}([-,-], \phi) \simeq Spin(d-1,1) \hookrightarrow GL(\mathbb{R}^{d-1,1|N}) \,.

This was highlighted by John Huerta.

Proof

It is clear that the spin group fixes the cocycle, and by the discussion at spin representation it preserves the bracket. Therefore it remains to be seen that the Spin group already exhausts the stabilizer group of bracket and cocycle. For that observe that the 3-cocycle is

(ψ,ϕ,v)η([ψ,ϕ],v), (\psi,\phi, v) \mapsto \eta( [\psi,\phi], v ) \,,

where η(,)\eta(-,-) is the given Minkowski metric, and that the bilinear map

[,]:SSV [-,-]\colon S \otimes S\to V

is surjective. This imples that if gGL( d1,1|N)g \in GL(\mathbb{R}^{d-1,1|N}) preserves both the bracket and the cocycle for all ψ,ϕS\psi, \phi \in S and vVv \in V

η([g(ψ),g(ϕ)],g(v))=η(g([ψ,ϕ]),g(v))=η([ψ,ϕ],v) \eta( [g(\psi),g(\phi)], g(v) ) = \eta( g([\psi,\phi]), g(v) ) = \eta( [\psi,\phi], v )

then it preserves the Minkowski metric for all w,vw,v

η(g(w),g(v))=η(w,v). \eta(g(w), g(v)) = \eta(w,v) \,.

This means that for applications to supergravity the inclusion of supergroups for the corresponding super Cartan geometry is not so much a choice made by hand, as rather being analogous to the G₂-structure which is automatically imposed once one demands a differential form definite on the associative 3-form.

References

For references on supergeometry and supermanifolds as such, see there. For references on supergravity as such, see there.

Traditional literature that involves super-Cartan geometry more or less explicitly and in the context of supergravity and its supergravity torsion constraints includes

The above material was prepared as lecture notes for

following

remarked upon also in

with related lecture notes at:

Super Cartan geometry in more traditional form is made explicit in:

briefly reviewed also in:

  • James Ratcliffe, §3 in: Supergeometry, Supergravity and Kaluza-Klein Theory, MSc thesis, Imperial College (2022) [pdf, pdf]

Further discussion in relation to the D'Auria-Fre formulation of supergravity:

Last revised on August 26, 2024 at 16:02:50. See the history of this page for a list of all contributions to it.